منابع مشابه
Purity through Factorisation
We give a construction that identifies the collection of pure processes (i.e. those which are deterministic, or without randomness) within a theory containing both pure and mixed processes. Working in the framework of symmetric monoidal categories, we define a pure subcategory. This definition arises elegantly from the categorical notion of a weak factorisation system. Our construction gives th...
متن کاملDirectional Clustering through Matrix Factorisation
In this paper we are interested in directional clustering, that is, in grouping of feature vectors depending on their direction, so that the angles between pairs of features from the same cluster are small. The assignment of features to clusters is here cast as a constrained low-rank matrix factorisation problem, which can be solved using ideas similar to those used to compute similar matrix fa...
متن کاملPurity through Unravelling
We divide attempts to give the structural proof theory of modal logics into two kinds, those pure formulationswhose inference rules characterise modality completely by means of manipulations of boxes and diamonds, and those labelled formulations that leverage the use of labels in giving inference rules. The widespread adoption of labelled formulations is driven by their ability to model feature...
متن کاملQuadratic Optimal Control through Spectral and Coprime Factorisation
We study the innnite horizon quadratic cost minimization problem for a linear time-invariant distributed parameter system with nitely may inputs and outputs. We work in an input/output framework, and reduce the unstable case to the stable case by the use of a right coprime factorization of the impulse response and a preliminary stabilizing feedback. The stable case is then solved through spectr...
متن کاملAcoustic Factorisation
This paper describes a new technique for training a speech recognition system on inhomogenous training data. The proposed technique , acoustic factorisation, attempts to explicitly model all the factors that affect the acoustic signal. By explicitly modelling all the factors the trained model set may be used in a more flexible fashion than in standard adaptive training schemes. Since an individ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.266.20